" Nous avons tenté dans cet ouvrage de tracer le chemin qui va de la logique traditionnelle à la logique transcendantale [...] à la logique transcendantale qui n'est pas une seconde logique mais qui est seulement la logique elle-même, radicale et concrète, qui doit son développement à la méthode phénoménologique. En vérité, pour s'exprimer plus précisément, nous n'avons justement eu en vue, comme logique transcendantale, que la logique telle qu'elle est délimitée traditionnellement, la logique analytique qui sans contredit grâce à (...) sa généralité vide et formelle embrasse toutes les sphères d'êtres et d'objets, corrélativement toutes les sphères de connaissances. Toutefois, étant astreints à reconsidérer la caractérisation du sens et de l'ampleur de la recherche transcendantale, nous avons par avance acquis aussi du même coup le moyen de comprendre les " logiques " (qu'il reste à fonder) ayant un autre sens, conçues comme doctrines de la science, mais comme doctrines matérielles ; doctrines de la science parmi lesquelles la plus élevée et la plus étendue serait la logique de la science absolue, la logique de la philosophie phénoménologico-transcendantale elle-même ". E. Husserl. (shrink)

FORMEL/INFORMEL : Musique-Philosophie a pour noyau trois essais : Antonia Soulez montre le vaste champ conceptuel ouvert par Schönberg, qui le rapproche ainsi de la philosophie ; Horacio Vaggione s'interroge sur la composition musicale assistée par ordinateur en thématisant des problèmes spécifiquement musicaux, mais sur un ton ouvrant à la pensée en général ; Makis Solomos tente de définir les invariants de la pensée de Xenakis. A ces essais s'ajoutent deux articles historiques : une analyse musicale de l'op. 16 de (...) Schönberg par le jeune Adorno et un article du début des années 1980 de Dahlhaus. L'ensemble se clôt par une série d'entretiens entre les auteurs des trois essais. Le lien, l'unité qui traverse l'ensemble de ces écrits et de ces débats articule des réflexions croisées sur une des questions les plus importantes pour la musique : la relation entre le " formel " et l'" informel ". Simultanément, la juxtaposition de la musique et de la philosophie à laquelle ils donnent lieu, le passage d'un registre à l'autre, la redéfinition permanente des règles qui président à ces passages indiquent un enjeu supplémentaire : repenser l'esthétique musicale. (shrink)

Résumé -/- Dans son premier livre (Philosophie de l’arithmétique 1891), Husserl élabore une très intéressante philosophie des mathématiques. Les concepts mathématiques sont interprétés comme des concepts de « deuxième ordre » auxquels on accède par une réflexion sur nos opérations mentales de numération. Il s’ensuit que la vérité de la proposition : « il y a trois pommes sur la table » ne consiste pas dans une relation mythique quelconque avec la réalité extérieure au psychique (où le nombre trois doit (...) être exemplifié de quelque manière), mais bien dans le fait que les pommes sur la table peuvent être dénombrées correctement en tant qu’elles sont au nombre de trois. Nous avons affaire ici à une position « antiréaliste » fondant la vérité mathématique non pas dans un monde platonicien, mais bien sur le concept de rectitude de nos opérations formelles. -/- Abstract -/- In his first book (Philosophy of Arithmetic 1891) Husserl develops a very interesting philosophy of mathematics. Mathematical concepts are interpreted as « second order » concepts gained by reflection on our mental operations of counting. Accordingly the truth of the proposition « There are three apples on the table » consists not in any mythical relation to the extra-mental reality (where the number three should be somehow exemplified), but rather in the fact that the apples on the table can be correctly counted as three. We have here an « anti-realist » position grounding the mathematical truth not in platonic realms, but rather in the concept of correctness of our formal operations. (shrink)

L’auteur a déjà introduit les concepts de “contenu formel” et “dualité” dans des publications antérieures, avec l’intention d’éclairer les problèmes suscités par la fécondité de la pensée formelle. Cet article a pour objectif d’établir leur relation et articulation. Le terme “dualité” est emprunté aux mathématiques. Il désigne une catégorie fondamentale de la pensée objective, dans la mesure où il est défini comme un principe de détermination réciproque pour n’importe quel système d’objets et le système d’opérations auquel il est nécessairement associé. (...) Son caractère fundamental en tant que catégorie tient essentiellement au fait d’être une condition transcendentale pour n’importe quelle espèce de pensée symbolique objective. Par le principe de dualité, on peut établir de façon générale la signification de l’opposition du contenu et de la forme, et celle de la détermination des contenus par de simples formes, indépendemment de leur origine empirique. La forme logique est alors définie comme le “degré zéro” d’une telle opposition. Des exemples de production de contenus formels dans les processus scientifiques sont examinés et considérés comme des preuves d’une dialectique interne des concepts, principalement dans le domaine des mathématiques. Dans la conclusion, nous proposons l’examen de deux questions : 1) Est-il approprié de concevoir un niveau de pensée formelle plus profond que celui de la Logique, et comment pourrions-nous y accéder? 2) Comment des contenus purement formels peuvent-ils produire des connaissances applicables au monde empirique ? Ce problème n’est qu’une nouvelle formulation de la vieille énigme de la déduction transcendentale.The author has introduced the concepts of “formal content” and “duality” in previous papers, with a view to shedding light on the problems posed by the fecundity of formal thought. The present work is an attempt to show their relationship and articulation. The term “duality” has been borrowed from mathematics. It designates a fundamental category of objective thinking, in so far as it is defined as a principle of reciprocal determination for every system of objects and the system of operations to which it is necessarily associated. The fundamental character of duality as a category essentially lies in its being a transcendental condition for every symbolic kind of objective thought. Through the principle of duality, one can give its more general meaning to the opposition of content to form, and to the determination of contents by mere forms, independent of empirical import. Logical form is then defined as the “zero degree” of such an opposition. Examples of the production of formal contents in scientific processes are examined, and considered as evidence of an internal dialectics of concepts, principally in the field of mathematics. In the conclusion, two questions are proposed: 1) Is it appropriate to conceive of a level of formal thought, deeper than the level of Logics, and how could we try to approach it? 2) How do pure formal contents come to generate knowledge applicable to the empirical world? This problem is, under new guise, the old transcendental deduction enigma. (shrink)

Je montrerai en premier lieu comment et pourquoi la sémantique formelle peut être employée comme un outil pour déterminer l’engagement ontologique d’une théorie : je soutiendrai d’une part que la sémantique doit être prise au sérieux comme apte à décrire la vérifaction des formules du langage; d’autre part, que les engagements ontologiques d’une théorie sont déterminés par ses vérifacteurs. De là, j’exposerai une méthode générale permettant, étant donné un certain type d’ontologie, de construire une sémantique dont les engagements ontologiques sont (...) en accord avec celle-ci. Pour cela, je définirai la notion de cadre ontologique : il s’agit d’une structure telle que toute sémantique cons-truite à partir de cette structure aura un certain engagement ontologique déterminé à l’avance. J’exposerai quatre cadres représentant deux types de nominalisme et deux types de réalisme, et j’esquisserai à partir de ces cadres quatre sémantiques pour les langages du premier ordre. (shrink)

Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux.

Formelle Bildung es el concepto de Hegel para determinar la función histórica del arte en el mundo moderno. Esta función contrasta con la inhaltliche o la substantielle Bildung que proporcionó el arte en el mundo oriental y el mundo clásico griego, y en general, con la función decisiva que desempeña el arte en el ethos de culturas donde el arte es inseparable de la religión, donde según Hegel, el arte opera según su determinación suprema. Pero si bien el arte en (...) la cultura moderna ya no puede ser Kunstreligion, religión de arte, ello no significa que haya perdido su función como factor de cultura, sino que sigue siendo imprescindible en ella, aunque ya no para que la comunidad se identifique con los contenidos que el arte le representa, sino para que los individuos se confronten con ellos de un modo crítico-reflexivo. En el mundo moderno el arte ya no es arte de una comunidad, sino de y para una sociedad, de modo que el Estado y la institucionalidad están de por medio. El arte ya es autónomo y no determina doctrinaria o ideológicamente el ethos, pero por la forma de proporcionarle sus intuiciones y sus representaciones a la reflexión, fomenta el ejercicio libre del juicio de los individuos. Según Hegel, el carácter "formal" de la cultura que proporciona el arte en el mundo moderno hace que el arte se convierta en asunto fundamental de política cultural, donde arte y público pasan al primer plano. (shrink)

deel 1. Klassieke systemen.--deel 2. Niet-klassieke systemen en toegepaste logika.

SummaryThose who claim formal logic to be plainly independent of any philosophical commitment often seem to overlook the historical facts of cooperation between formal logic and logical empiricism, the cases or more or less implicit shifting from a de facto to a de iure situation.Three subcases are here examined of an explaining‐away argumentation which, whether directly of indirectly, contributes to bestowing undue prerogatives upon formalization. Objections are raised especially against some points of Ayer's discussion towards reducing the concept of thruth (...) in such a way that it can be either dispensed with or readily assumed by that kind of uncritical epistemology which gravitates towards formalization and formal systems. (shrink)

Most party by-laws are too inexhaustive and vague to be adequate guidelines for describing party chairmanship or predicting the actual proceedings of chairman elections. Although nearly all party by-laws prescribe competitive elections, one candidate elections occur in 68 % of the cases and in nearly 25% of all cases the unique candidate is elected by acclamation only. Also, when more candidates are presented, the preferences of the party oligarchy are mostly made very clear.The small number of elections that involve real (...) choice even diminishes when reelections or the appointment of interim chairman are taken into account: the percentage of "more than one candidate"-presentation drops from 32 % to respectively 19% and 16%. In Flemish parties there is less opportunity for choice then in Francophone parties: 22 % versus 38% "more than one candidate"-presentation. Moreover, the chairman elections of the Francophone parties involve larger electoral bodies : e.g. in some parties and already in 41 % of the cases all partymembers have a right to cast their vote. A possibility that exists in none of the Flemish parties. As far as the evolution over time is concerned: there is a general and salient tendency towards more opportunities for real choice and larger electoral bodies.But taken together opportunities for real choice remain scarce : in general party chairmen are not actually chosen by the formally empowered party organs; before formal elections are held choices are mostly made already! (shrink)

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

The history of ontology reveals various methodologies that examine being. Traditional ontology studies being qua being and categorizes it. Formal ontology determines the categories that are common to all entities and classifies them with formal languages using these categories as well. However, for over thirty years, formal ontologies have been studied and built outside of philosophy. The reason why ontology is separated from philosophy and becomes an interdisciplinary study is due to our need to make classifications and standardization in data (...) and information management in accordance with reality. What lies behind this requirement is the exponential growth of data and the impossibility of analyzing it neither by humans nor by existing methods. For instance, dozens of studies are published every minute, and then scientists cannot follow all these developments with classical techniques. Therefore, the desire that machines should be involved in the processes of sharing and producing knowledge is far higher than ever. This desire, thus, has led us to develop new models for knowledge production. It has been experienced that the standardization of knowledge is essential in the construction of models; for, significant differences were found between taxonomic structures, concept definitions, and different granularity levels in the knowledge representations of various working groups, and even the integration of data was not possible. At this point, the selection, classification, and standardization of knowledge have been guaranteed by using ontological principles and methods. In this article, within information systems, we will introduce the formal ontologies, the formal theory covering the broadest knowledge of the field by selecting, classifying and standardizing it by using the principles and methods of philosophical ontologies. We will mention that we use description logics, a family of formal languages with the expressive power of natural language and high-performance reasoning algorithms, to represent this theory in machines. In essence, this article will introduce formal ontologies and description logics in the realm of knowledge representation. (shrink)

Gustav Radbruch, ein bekannter Rechtsphilosoph des Wertrelativismus, kam erst nach 1945 zu der Behauptung: Sowohl unerträglich ungerechte Gesetze als auch das Gleichheitsprinzip verleugnende Gesetze können keine Verbindlichkeit in Anspruch nehmen. Es ist nach wie vor umstritten, ob diese Behauptung, die später als die Radbruchsche Formel bezeichnet wurde, mit seiner wertrelativistischen Theorie vor 1945 kompatibel ist. -/- Viele Autoren verneinen diese Frage und vertreten die Umbruchthese. Einige Autoren stellen die Entwicklungsthese auf, die als eine Abschwächung der Umbruchthese verstanden werden kann. Dagegen (...) steht die Kontinuitätsthese. Auf deren Seite stellt sich die Arbeit, die den Versuch unternimmt, durch eine Verknüpfung der historischen mit der systematischen Analyse des Radbruchschen Gesamtwerkes die letzte These zu verteidigen. -/- Als Anhang enthält die Arbeit einen Zeitungsbericht über einen Vortrag von Radbruch aus dem Jahr 1923, durch den der Leser einen klaren Überblick über die Grundzüge seiner rechtsphilosophischen Auffassung gewinnen kann. (shrink)

ZusammenfassungPrinzipien und Dialektik. Zwei Arten Dialektik: Die Rückkehr zum «Anhypoteton» und das dialektisierende Denken. Beide Tendenzen sind gleichsam charakterisiert durch die Hervorhebung der Aktivität des Denkens. Das formale Denken aber sucht den Ursprung dieser Aktivität, während das dialektisierende Denken deren Anwendung feststellen will. Auf dem Suchen nach einem ersten Ursprung ist das formale Denken in Gefahr bloss formale Bedingungen zu erreichen. Das dialektisierende Denken will aber nur die Orientierung in dem gegebenen gegenwärtigen Suchen feststellen; dabei scheint es die Idee einer (...) ewigen Ordnung der Dinge preiszugcben, bleibt jedoch der menschlichen Situation treu. Beide Richtungen haben Sinn für entgegengesetzte Ziele. Möglichkeit einer anthropologischen Problematik. (shrink)

La mathématique est conditionnée par un objet formel constructif. De même, la logique. L’objet formel est identique pour les deux disciplines. Il est de nature rameuse. L’auteur donne quelques indications sur la théorie des ramifications qu’il a instituée. Il termine en signalant que la logique des prédicats et la distributivité du produit logique ont pour objet véritable la variété multidimensionnelle discrète des mathématiciens, un objet dont la genèse rameuse est une pièce importante de sa théorie.

Cette étude montre comment s’élabore une doctrine de l’objet, et de l’objectité, de la scolastique du XIIIe siècle jusqu’au XVIIe, par une succession de créations conceptuelles et de ruptures interprétatives. Elle débouche sur l’opposition entre concept formel et concept objectif au XVIIe siècle. De cette histoire retrouvée découle une nouvelle évaluation de l’argument cartésien sur l’existence de Dieu.This study shows how a theory of object, and of « objectity » is elaborated, from XIIIth century’s scholasticism to the XVIIth century, through (...) a series of conceptual creations and interpretative breaks. It runs into the opposition between formal and objective concept in the XVIIth century. From this rediscovered story follows a new assessment on the Cartesian argument for God’s existence. (shrink)

L'un des objectifs souvent visé par les théories esthétiques contemporaines est la compréhension de ce produit particulier de l'artiste peintre qu'est un tableau. Et, dans la recherche d'une telle compréhension, plusieurs types d'entreprises tant descriptives qu'explicatives ont déployé une diversité impressionnante de concepts et de méthodes.

À la suite des travaux que, il y a maintenant une vingtaine d’années, Theodore Kisiel a consacrés à la genèse d’ Être et Temps , les études heideg­gériennes ont reconnu l’importance méthodologique de la notion d’indication formelle dans la pensée du jeune Heidegger. À travers cette notion, ce n’est rien de moins que le statut de la conceptualité philosophique qui est censé recevoir une élaboration inédite. Quel est le mode d’être des concepts philosophiques, et comment de tels concepts peuvent-ils dévoiler (...) le mode d’être de ce dont ils sont les concepts ? — telle pourrait être la formulation la plus élémentaire de la question à laquelle répond la notion d’indication formelle. Mais pourquoi « indication » ? et pourquoi « for­melle » ? Si la genèse de la notion a été relativement bien retracée depuis vingt ans, sa teneur proprement conceptuelle n’a pas été analysée de manière suffisam­ment approfondie. C’est pourquoi nous nous proposons ici de mon­trer comment cette notion se construit à partir d’une critique du procédé husser­lien de formalisation, procédé qui, après avoir été corrigé par le concept, lui aussi husserlien, et lui aussi critiqué, d’indication, permet de viser le mode d’être de l’existence. Reste alors à expliquer pourquoi la notion d’indication formelle, si décisive dans les réflexions méthodologiques du jeune Heideg­ger, se fait très discrète dans Sein und Zeit , c’est-à-dire dans l’ouvrage à l’élaboration duquel elle est pourtant censée avoir concouru de manière décisive. (shrink)

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

With the emergence of Olympic internationalism, scholarly networking in East Central Europe came to be dominated by the idea of scholars representing their nations, which replaced the previously leading pattern of private elite scholars with extensive international contacts. This also formalised trans-border contacts, which became increasingly seen as international. In this article, we trace the relationship between these formal and informal networks from the late 19th century to the end of the socialist period, showing that even as formalisation grew, it (...) depended heavily on a variety of informal connections. Even during the period of socialism, when the state sought to control international exchange, scholars used informality to circumvent politically determined constraints. Nevertheless, these informal contacts were not outside the system, but were an integral part of it and depended on formal preconditions. Concentrating on Czechoslovak-Polish relations we argue that in addressing the issue of the relationship between the formal and the informal, a combination of sources must be used, which should then be scrutinised for the stories their authors wish to tell. While archival sources are used for the formal part, oral histories or memoirs reveal the informal part. In East Central Europe, formal sources are likely to ignore informality, especially when it was associated with illegality, whereas ego-documents, especially those produced after 1989, are likely to ignore or downplay connections to the state and overemphasise informality as a means of acting outside politics. Thus, writing the history of informality in socialist scholarship, not only in terms of international contacts but also in terms of everyday practices, is a way of developing counter-narratives to the state-centeredness of current research, which must be linked to a critical study of the contemporary memory of socialist scholarship that shapes the narratives told in oral history. (shrink)

La Syllogistique d’Aristote de Łukasiewicz est écrite pour corriger les interprétations traditionnelles de la syllogistique d’Aristote en se plaçant « du point de vue de la logique formelle moderne ». Son interprétation contient plusieurs paradoxes forts : la description de la syllogistique comme une axiomatique qui utilise intuitivement les règles du calcul propositionnel, l’absence de quantificateurs et l’interprétation de la « nécessité syllogistique » comme un quantificateur universel, l’interprétation quadrivalente de la logique modale tout en admettant que la logique d’Aristote (...) est bivalente. Tous ces paradoxes se comprennent mieux si l’on voit que Łukasiewicz veut construire un système logique cohérent conforme aux intentions d’Aristote en utilisant la logique moderne comme un outil, tout en réagissant contre les critiques de la logique moderne à l’encontre de la syllogistique d’Aristote. (shrink)

Le but de cet article est de présenter un modèle formel des processus dichotomiques platoniciens. Cette méthode, déjà utilisée dans le Gorgias et décrite dans le Phèdre, reçoit une grande extension dans les dialogues ultérieurs. Elle s'efforce d'obtenir une définition à partir des divisions successives d'un ensemble de concepts. Nous montrons que les chaînes de dichotomies ne fonctionnent pas comme des classifications, mais comme des « filtres convergents » sur l'espace des Idées. Cela veut dire que cet espace est, formellement (...) parlant, un espace topologique compact, donc fini. Mais, dans d'autres textes, Platon semble indiquer que les Idées sont en nombre infini. Dans cette hypothèse, il resterait possible d'atteindre, au moins à l'infini, quelque chose comme une définition, en considérant l'Idée du Bien comme une sorte de principe de compactification de l'univers platonicien. The purpose of this article is to present a formal model of platonician dichotomic processes. This method, already used in Gorgias and described in Phaedrus, takes a great development in further dialogues. It tries to get a definition from successive divisions of a set of concepts. We show that the chains of dichotomies do not work as classifications but as "convergent filters "on the space of Ideas. It means that this space is, formally speaking, a compact and therefore, finite, topological space. But in some other texts, Platon seems to specify that there is an infinite number of Ideas. In this case, it will remain possible to reach, at least in the infinite, something like a definition, by regarding the Idea of Good as a sort of compactness principle of the platonician universe. (shrink)

Jusqu’au début du XXe siècle, la langue utilisée en diplomatie tire ses racines de la langue de cour, plus particulièrement celle de Louis XIV, ce qui explique la place du français comme langue diplomatique. Cet article propose une mise en perspective historique et anthropologique des formes d’expression du diplomate et montre pourquoi le langage diplomatique est à la fois formel et nécessaire, caractéristiques le rapprochant de celles de la langue de bois. Les notions d’ambiguïté, de contexte, d’émotions et de valeurs (...) sont abordées. Enfin, la langue de la diplomatie a une dimension à la fois interne et externe . Ce travail est alimenté par des entretiens et par notre expérience de formateur de diplomates au ministère des Affaires étrangères.Up to the early 20th century, the language used by diplomats was rooted in the language of the court, especially the court of Louis XIV, which is why French became the language of diplomacy. This article offers a historical and anthropological perspective on forms of diplomatic expression and shows why the language of diplomacy is altogether formal and necessary, characteristics that liken it to the « wooden language » of bureaucracy. We look into the ideas of ambiguity, context, emotions and values. Finally, the language of diplomacy has both an internal dimension and an external dimension . Our study is backed up by interviews and our experience in training diplomats within the French Ministry of Foreign Affairs. (shrink)

Le but de cet article est double. Le premier est de rendre hommage à Gilles Fauconnier, dont les travaux ont servi d’assises théoriques aux thèses de doctorat des deux auteurs. Le second est d’appliquer de manière à la fois pédagogique et critique la Théorie des Espaces Mentaux et la Théorie de l’Intégration Conceptuelle au gré d’études de cas inédites. Les auteurs abordent un même thème : la sensibilisation par les associations de défense de l’environnement aux dangers de la déforestation industrielle (...) au moyen de campagnes mêlant dans un même cadre sémiotique graphismes et slogans. Ils abordent ce thème à travers l’étude des cadres interprétatifs impliquant des représentations d’arbres. Ils montrent que lorsque des objets ou des situations insolites sont créés pour des objectifs communicationnels spécifiques, la Théorie des Espaces Mentaux et la Théorie de l’Intégration Conceptuelle parviennent à modéliser la complexité cognitive ainsi engendrée, là où les théories traditionnelles... (shrink)